A feasibility proof of semi-automated software integration

In this paper we address a problem of semi-automated integration of distributed applications. We focus on integration of numerical simulation engineering components. We propose an integration approach that is based on annotation of software interfaces with formal logical specifications. Logical inference procedure is used to choose appropriate enterprise software component depending on client requests. By creation of working software prototype that implements our methodology, we prove a feasibility to use semi-automated integration methods. First we discuss the problem and difficulties of integration of numerical simulation solvers and manufacturing engineering solutions in general. This is followed by description of the methodology of semi-automated integration based on use of description logics. Further we provide reader with details on applicability frame, software implementation and similar works.